Integral of sin(8x)cos(5x)